Higher-order abstract syntax - PDFSEARCH.IO - Document Search Engine

Higher-order abstract syntax
Results: 37

#	Item
31	Scrap your Nameplate (Functional Pearl) James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-07-12 06:34:19 Type theory Lambda calculus Functional programming Data types Theoretical computer science Unification Generic programming Higher-order abstract syntax De Bruijn index Software engineering Mathematics Computing
32	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
33	αProlog User’s Guide & Language Reference Version 0.3 DRAFT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:38 Lambda calculus Type theory Logic programming Formal methods Unification Higher-order abstract syntax Function Hindley–Milner Free variables and bound variables Mathematics Software engineering Theoretical computer science
34	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic
35	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
36	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
37	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics